Databases and Finite-Model Theory
نویسنده
چکیده
Databases provide one of the main concrete scenarios for nite-model theory within computer science. This paper presents an informal overview of database theory aimed at nite-model theorists, emphasizing the speciicity of the database area. It is argued that the area of databases is a rich source of questions and vitality for nite-model theory.
منابع مشابه
Multiscale Analysis of Transverse Cracking in Cross-Ply Laminated Beams Using the Layerwise Theory
A finite element model based on the layerwise theory is developed for the analysis of transverse cracking in cross-ply laminated beams. The numerical model is developed using the layerwise theory of Reddy, and the von Kármán type nonlinear strain field is adopted to accommodate the moderately large rotations of the beam. The finite element beam model is verified by comparing the present numeric...
متن کاملExplaining Heterogeneity in Risk Preferences Using a Finite Mixture Model
This paper studies the effect of the space (distance) between lotteries' outcomes on risk-taking behavior and the shape of estimated utility and probability weighting functions. Previously investigated experimental data shows a significant space effect in the gain domain. As compared to low spaced lotteries, high spaced lotteries are associated with higher risk aversion for high probabilities o...
متن کاملA Comparative Study of Least-Squares and the Weak-Form Galerkin Finite Element Models for the Nonlinear Analysis of Timoshenko Beams
In this paper, a comparison of weak-form Galerkin and least-squares finite element models of Timoshenko beam theory with the von Kármán strains is presented. Computational characteristics of the two models and the influence of the polynomial orders used on the relative accuracies of the two models are discussed. The degree of approximation functions used varied from linear to the 5th order. In ...
متن کاملNonlinear Finite Element Analysis of Bending of Straight Beams Using hp-Spectral Approximations
Displacement finite element models of various beam theories have been developed using traditional finite element interpolations (i.e., Hermite cubic or equi-spaced Lagrange functions). Various finite element models of beams differ from each other in the choice of the interpolation functions used for the transverse deflection w, total rotation φ and/or shear strain γxz, or in the integral form u...
متن کاملA finite element model for extension and shear modes of piezo-laminated beams based on von Karman's nonlinear displacement-strain relation
Piezoelectric actuators and sensors have been broadly used for design of smart structures over the last two decades. Different theoretical assumptions have been considered in order to model these structures by the researchers. In this paper, an enhanced piezolaminated sandwich beam finite element model is presented. The facing layers follow the Euler-Bernoulli assumption while the core layers a...
متن کامل